home *** CD-ROM | disk | FTP | other *** search
- <dictionary>
- <operator name="′" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- prime -->
- <operator name="″" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- Prime -->
-
- <operator name="−" form="prefix" lspace="0em" rspace="veryverythinmathspace"/> <!-- minus -->
- <operator name="−" form="infix" lspace="mediummathspace" rspace="mediummathspace"/>
-
- <!-- the following, IMHO, is the real overline char -->
- <operator name="̅" form="infix" stretchy="true" lspace="0em" rspace="0em" accent="false"/>
-
- <operator name="/" form="infix" stretchy="false" lspace="veryverythinmathspace" rspace="veryverythinmathspace"/>
-
- <operator name="√" form="prefix" stretchy="false" symmetric="false"/> <!-- Sqrt -->
-
- <operator name="ⅆ" form="prefix" lspace="0em" rspace="0em"/> <!-- dd -->
- <operator name="ⅅ" form="prefix" lspace="0em" rspace="0em"/> <!-- DD -->
- <operator name="•" form="prefix" lspace="0em" rspace="0em"/> <!-- PartialD -->
-
- <!-- || is stretchy -->
- <operator name="∥" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
- <operator name="∣" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
- </dictionary>
-